Beyond `?`: Why Rust Needs `try` for Composable Effects
reddit.com·1d·
Discuss: r/rust
🐚Shell Monads
Compare: Bash Elvish NuShell Murex es-shell fish xonsh PowerShell Oil Ion
gist.github.com·2d·
Discuss: Hacker News
🐚Nordic Shell
A Mega Malware Analysis Tutorial Featuring Donut-Generated Shellcode
unit42.paloaltonetworks.com·1d
🦠Malware Analysis
Anaphoric Macros
letoverlambda.com·3h·
Discuss: Lobsters
🧠Lisp Dialects
Function-level Basic Block Analysis
binary.ninja·2d
⚙️RISC-V Microcode
Patterns of Functional Programming: Functional Core – Imperative Shell
javiercasas.com·2d·
Discuss: Hacker News
🐚Shell Monads
Comparison of Generic Container Libraries for C
github.com·1d·
Discuss: Hacker News
💧Liquid Types
Just a nice shell script
bitecode.dev·2d·
Discuss: r/programming
🐚Bash FP
Software Engineering Laws - Coding & Development
leadership.garden·19h
🔩Systems Programming
Haskell Crash Course
yager.io·2d
🔗Lisp
Why Lean 4 replaced OCaml as my Primary Language
kirancodes.me·15h·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Song recommendations with free monads
blog.ploeh.dk·4d
🐚Shell Monads
Efficient Volume Computation for SMT Formulas
arxiv.org·1d
🧮SMT Solvers
GSlip – GNU SLIP (Symmetric LIst Processor) in C++
gnu.org·1d·
Discuss: Hacker News
✅Format Verification
Go go goroutines
bitfieldconsulting.com·3h
🧠Program Logic
AIxCC Final and Team Atlanta (first place, $4M)
team-atlanta.github.io·23h·
Discuss: Hacker News
🧪Binary Fuzzing
Coalton Playground: Type-Safe Lisp in the Browser
abacusnoir.com·1d·
Discuss: Lobsters, Hacker News
🔗Lisp
Lambdas, Nested Functions, and Blocks
thephd.dev·3d·
Discuss: Lobsters, Hacker News, r/C_Programming
⬆️Lambda Lifting
Running Faucets Detection and Alert Systems
hackster.io·7h
🎙️Whisper
From Linux Primitives to Kubernetes Security Contexts
learnkube.com·3d
📦Container Security